<?php

	if ( isset($_REQUEST['juego']) ) {
		$idioma = $_REQUEST['idioma'];
		header("location: ej4juego.php?idioma=$idioma");
	} else {
		
	}

?>